$\mathbb{B}$size($k$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$primrec($k$;0;$\lambda$$n$,$m$. if $f$($n$)$\rightarrow$ 1 else 0 fi+$m$)